-
1 proceed by induction
Большой англо-русский и русско-английский словарь > proceed by induction
-
2 proceed by induction
-
3 induction
1) призыв
2) индуктирование
3) индукционный
4) индукционный электротермический
5) индукция
6) наведение
7) емкостный
8) ввод
9) <engin.> асинхронный
– back induction
– complete induction
– definition by induction
– descending induction
– electrization by induction
– electromagnetic induction
– emf of mutual induction
– homopolar induction
– induction ammeter
– induction balance
– induction brazing
– induction coil
– induction drag
– induction effect
– induction field
– induction generator
– induction hardening
– induction heater
– induction heating
– induction inclinometer
– induction manifold
– induction meter
– induction motor
– induction pump
– induction smelting
– induction step
– induction string
– induction voltmeter
– induction zone
– informal induction
– magnetic induction
– mathematical induction
– motional induction
– mutual induction
– nuclear induction
– proceed by induction
– prove by induction
– residual induction
– saturation induction
– transfinite induction
axiom of complete induction — аксиома математической индукции
cored induction furnace — канальная индукционная электропечь
crucible induction furnace — тигельная индукционная электропечь
remote-indicating induction compass — компас индукционный дистанционный
-
4 induction
1) индукция, наведение, индуцирование3) впуск; всасывание4) индукционный•induction by confirmation — мат. конфирмативная индукция
induction by elimination — мат. элиминативная индукция
induction by enumeration — мат. энумеративная индукция
induction from n+1 to n — мат. индукция от n+1 к n
induction on length — мат. индукция по длине (формулы)
-
5 proceed
-
6 индуктировать
1) induce
2) proceed by induction -
7 доказательство
proof (of), demonstration (of), argument, evidence (for)•Альтернативное доказательство может быть получено (путем, на пути)... - An alternate proof may be obtained by...• Альтернативное доказательство оставлено в качестве упражнения 1.3. - An alternative proof is left to Exercise 1.3.• Безо всяких доказательств мы просто утверждаем, что... - Without going into any proofs, we simply state that...• Более простое прямое доказательство было дано Смитом [1]. Мы следуем его методу. - A simpler direct proof was given by Smith [1], whose method we follow here.• В качестве упражнения мы оставляем читателю доказательство, что... - It is left as an exercise for the reader to show that...• Вдобавок, это доказательство можно слегка упростить... - Incidentally, this proof can be made somewhat simpler by...• Дадим формальное доказательство (этого). - The formal proof is as follows.• Данное доказательство использует метод математической индукции по п. - The proof is by induction on n.• Данное доказательство существенно основывается на нашем предположении, что... - The proof rests fundamentally on our assumption that...• Для доказательства второго утверждения (теоремы) мы выписываем... - То prove part (ii), we write...• Для нашего доказательства удобно использовать... - For our proof it is convenient to use...• Доказательство (теоремы) довольно длинное, поэтому мы разобьем его на несколько шагов. - The proof is rather long, so we shall break it up into several steps.• Доказательство (этого факта, этой теоремы и т. п.) простое, и потому мы оставляем его читателю. - The proof is simple; we leave it to the reader.• Доказательство леммы закончено (= завершено). - The proof of the lemma is finished; This proves the lemma.• Доказательство не закончено до тех пор, пока мы не... - The proof is not complete until we...• Доказательство обратного утверждения уже было проведено. - The proof of the converse has already been given.• Доказательство проводится методом индукции по п. - The proof is by induction on n.• Доказательство проводится от противного. - The argument is by reductio ad absurdum.• Доказательство следует почти немедленно из определения... - The proof is almost immediate from the definition of...• Доказательство становится неверным, если... - The proof breaks down if...• Доказательство теоремы завершено. - This completes the proof; The theorem is proved; QED• Доказательство этого легкое (= несложное). - The proof is easy.• Доказательство этого факта подобно доказательству теоремы 2. - This proof is similar to the proof of Theorem 2.• Другое доказательство намечено в упражнении 2. - An alternative proof is outlined in Exercise 2.• Его доказательство является достаточно элементарным. - The proof is quite elementary.• Затем мы переключаем наше внимание на доказательство того, что... - We turn our attention next to proving that...• Затем нам нужно будет одно особое доказательство, чтобы продемонстрировать, что... - We will then need a special argument to show that...• Здесь мы уже подошли к чисто геометрическому доказательству... - Here we have arrived at a purely geometrical proof of...• Имеются все доказательства того, что... - There is every indication that...• Метод доказательства аналогичен методу, использованному Бляшке [3]. - The proof method is analogous to the method used by Blashke [3].• Мы можем дать простое доказательство этой теоремы следующим образом. - We can give a simple proof of this theorem as follows.• Мы накопили ряд убедительных доказательств того, что... - We have amassed a convincing body of evidence that...• Мы начинаем доказательство с... - We begin the proof by...• Мы начинаем с доказательства двух лемм. - We begin by proving two lemmas.• Мы опускаем весьма громоздкое доказательство данной теоремы. - We omit the rather lengthy proof of this theorem.• Мы опустим доказательство этого утверждения. - We will omit the proof of this statement.• Мы оставляем читателю доказательство противоположного утверждения. - We leave the converse proof to the reader.• Мы оставляем читателю дополнить детали (доказательства). - The details are left to the reader,• Мы примем этот важный факт без доказательства. - We shall accept this important fact without proof.• Мы рассуждаем так же, как при доказательстве теоремы 1. (= Мы полностью повторяем рассуждения из доказательства теоремы 1. ) - We argue exactly as in the proof of Theorem 1.• Наш первый шаг состоит в доказательстве, что... - Our first task is to prove...• Наше доказательство, в основном, повторяет доказательство леммы 2 из [1]. - Our proof follows along the lines of Lemma 2 of [1].• Небольшое изменение этого доказательства показывает, что... - A minor modification of the proof shows that...• Нет никаких экспериментальных доказательств, показывающих, что... - There is no experimental evidence to indicate that...• Однако (его/ее) доказательство не является настолько простым, как можно было бы подумать (= вообразить). - The proof, however, is not as easy as one might think.• Однако доказательство данной гипотезы сложное, потому что... - However, proof of this hypothesis is difficult because...• Однако имеется огромное множество доказательств (= свидетельств) того, что... - But there is a great deal of evidence that...(= предоставляется) читателю. - The remainder of the proof is left to the reader.• Остальная часть доказательства проводится уже более или менее просто. - The rest of the proof is now more or less straightforward.• В работе Смита [1] приведено доказательство при менее ограничительных условиях. - For a proof under less restrictive conditions, see Smith [1].• Перед тем как мы сможем завершить доказательство, мы должны... - Before we can complete the proof, we must...• Полученное противоречие завершает доказательство. - This contradiction completes the proof.• Предшествующее доказательство принадлежит лорду Рэлею [1]. - The foregoing proof is due to Lord Rayleigh [1].• Приведем более полное доказательство, данное Гильбертом [2]. - A fuller proof, given by Hilbert [2], is as follows.• Простейшее доказательство базируется на идее, что... - The simplest proof rests on the concept of...• Простое и прямое доказательство может быть получено... - A simple and direct proof can be obtained by...• Разобьем доказательство на два шага (= две части). - We shall divide the proof into two steps.• С целью экономии места мы опускаем доказательство... - We omit the proof in order to save space; For reasons of space we omit the proof of...• Сейчас имеется огромное количество доказательств того, что... - There is now overwhelming evidence that...• Следующее доказательство является небольшой модификацией доказательства, данного Смитом [1]. - The following proof is a slight modification of that given by Smith [1].• Смит [1] дал общее доказательство того, что... - Smith [1] has given a general proof that...• Сформулируем без доказательства следующую теорему относительно... - We state without proof the following theorem concerning...• Теперь займемся доказательством этой теоремы. - We now come to the proof of the theorem.• Теперь мы приведем пропущенные детали доказательства. - We now proceed to fill in the details; We shall now fill in the details.• Убедительное доказательство этого утверждения предоставлено Смитом [1]. - Convincing proof of this statement is furnished by Smith [1].• Центральной частью доказательства является то, что... - The crux of the proof is that...• Чтобы завершить доказательство, мы... - In order to finish the proof, we...; Finally, we...• Чтобы завершить доказательство, мы выпишем... - For the remainder of the proof we write...• Чтобы завершить доказательство, нам остается показать, что... - То complete the proof, we need to demonstrate that...• Чтобы закончить доказательство, мы... - In order to complete the proof, we...• Элегантное доказательство, которое мы здесь приводим, в основном принадлежит Гильберту. - The elegant proof we give is essentially due to Hilbert.• Это доказательство легко изменить для того, чтобы показать, что... - The proof is easily adapted to show that...• Это доказательство основывается на факте, что... - The proof is based on the fact that...• Это доказательство почти идентично доказательству последней теоремы. - The proof is almost identical with that of the last theorem.• Это доказательство слишком сложное, чтобы приводить его здесь. - The proof is too complicated to give here.• Это приводит к противоречию, и следовательно, доказательство закончено. - This gives a contradiction, and the proof is complete.• Этот метод доказательства весьма оригинален. - The method of proof is quite ingenious.• Этот метод доказательства довольно общий и применим к... - The method of proof is quite general and applies to...• Этот факт был отмечен без доказательства в главе 4. - This fact was noted without proof in Chapter 4.
См. также в других словарях:
Induction — • Induction is the conscious mental process by which we pass from the perception of particular phenomena (things and events) to the knowledge of general truths Catholic Encyclopedia. Kevin Knight. 2006. Induction Induction … Catholic encyclopedia
Structural induction — is a proof method that is used in mathematical logic (e.g., the proof of Łoś theorem), computer science, graph theory, and some other mathematical fields. It is a generalization of mathematical induction. Structural recursion is a recursion… … Wikipedia
Banach fixed point theorem — The Banach fixed point theorem (also known as the contraction mapping theorem or contraction mapping principle) is an important tool in the theory of metric spaces; it guarantees the existence and uniqueness of fixed points of certain self maps… … Wikipedia
Semisimple algebra — In ring theory, a semisimple algebra is an associative algebra which has trivial Jacobson radical (that is only the zero element of the algebra is in the Jacobson radical). If the algebra is finite dimensional this is equivalent to saying that it … Wikipedia
Banach fixed-point theorem — In mathematics, the Banach fixed point theorem (also known as the contraction mapping theorem or contraction mapping principle) is an important tool in the theory of metric spaces; it guarantees the existence and uniqueness of fixed points of… … Wikipedia
De Bruijn–Erdős theorem (incidence geometry) — See also: De Bruijn–Erdős theorem (graph theory) In incidence geometry, the De Bruijn–Erdős theorem, originally published by Nicolaas Govert de Bruijn and Paul Erdős (1948), states a lower bound on the number of lines determined by n points… … Wikipedia
Shift theorem — In mathematics, the (exponential) shift theorem is a theorem about polynomial differential operators ( D operators) and exponential functions. It permits one to eliminate, in certain cases, the exponential from under the D operators. The theorem… … Wikipedia
animal development — Introduction the processes that lead eventually to the formation of a new animal starting from cells derived from one or more parent individuals. Development thus occurs following the process by which a new generation of organisms is produced by … Universalium
Bacon (Francis) and man’s two-faced kingdom — Francis Bacon and man’s two faced kingdom Antonio Pérez Ramos Two closely related but distinct tenets about Bacon’s philosophy have been all but rejected by contemporary historiography. The first is Bacon’s attachment to the so called British… … History of philosophy
Charles Sanders Peirce — B … Wikipedia
Spinoza: metaphysics and knowledge — G.H.R.Parkinson The philosophical writings of Spinoza are notoriously obscure, and they have been interpreted in many ways. Some interpreters see Spinoza as (in the words of a contemporary)1 ‘the reformer of the new [sc. Cartesian] philosophy’.… … History of philosophy